predicate;

fn main(arg: u256) -> bool {
    arg == 0x000000000000000a000000000000000b000000000000000c000000000000000du256
}
